Introduction to Integer Linear Programming